1. Logic based program synthesis and transformation :11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
پدیدآورنده : Alberto Pettorossi, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2372
2. Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992: proceedings
پدیدآورنده : A. Pettorossi, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
649
